The CVS-Server Case Study: A Formalized Security Architecture
نویسندگان
چکیده
منابع مشابه
A Case Study of a Formalized Security Architecture
CVS is a widely known version management system, which can be used for the distributed development of software as well as its distribution from a central database. In this paper, we provide an outline of a formal security analysis of a CVS-Server architecture performed in [1]. The analysis is based on an abstract architecture (enforcing a role-based access control on the repository), which is r...
متن کاملA Verification Approach for Applied System Security
We present a method for the security analysis of realistic models over off-the-shelf systems and their configuration by formal, machine-checked proofs. The presentation follows a large case study based on a formal security analysis of a CVS-Server architecture. The analysis is based on an abstract architecture (enforcing a role-based access control), which is refined to an implementation archit...
متن کاملTowards Collaborative Content Management and Version Control for Structured Mathematical Knowledge
We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvs-like version control and distribution model. This architecture extends the cvs architecture in two ways, m...
متن کاملInvestigating the relationship between the sense of belonging to the place and the level of social security of citizens - Case study: Qom-
Human behaviors and activities of individuals are created in urban spaces, and cultural and social relationships are formed in these spaces. Considering the main source of insecurity among citizens in the cities and the important factors such as the physical form of the city, urban structures and the shape of buildings in this case, the purpose of the study is to measure the effect of the sense...
متن کاملTowards Test-Driven and Architecture Model-Based Security and Resilience Engineering
The quality of software systems depends strongly on their architecture. For this reason, taking into account non-functional requirements at architecture level is crucial for the success of the software development process. Early architecture model validation facilitates the detection and correction of design errors. In this research, the authors are interested in security critical systems, whic...
متن کامل